package at.tasat.solver.queue;

import at.tasat.solver.Queue;
import at.tasat.solver.QueueFactory;
import at.tasat.solver.VariableOccurencesList;

public final class DynamicVariableOccurencesQueueFactory extends QueueFactory {

	private final int threashold;

	public DynamicVariableOccurencesQueueFactory(int threashold) {
		this.threashold = threashold;
	}

	@Override
	public String getName() {
		return String.format("dynamic-occurences:%d", threashold);
	}

	@Override
	public Queue create(int numVariables, VariableOccurencesList occurencesList) {
		return new DynamicVariableOccurencesQueue(threashold, numVariables, occurencesList);
	}
}
